6 results
Jean Dieudonné. Lógica y matemática. Revista de matemáticas elementales (Bogotá), vol. 2 (1953), pp. 1–7.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 357-358
- Print publication:
- June 1974
-
- Article
- Export citation
A. Heyting. Some remarks on intuitionism. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam, 1957, edited by A. Heyting, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1959, pp. 69–71.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 673-674
- Print publication:
- December 1971
-
- Article
- Export citation
A. Heyting. After thirty years. Logic, methodology and philosophy of science, Proceedings of the 1960 International Congress, edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, Stanford University Press, Stanford, California, 1962, pp. 194–197.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 674
- Print publication:
- December 1971
-
- Article
- Export citation
A. Heyting. Méthodes et problèmes de l'intuitionnisme. Actes du Colloque de Mathématiques réuni à Clermont à l'Occasion du Tricentenaire de la Mort de Blaise Pascal, 4–8 Juin 1962, Volume I, Introduction et logique mathématique, Annales de la Faculté des Sciences de l'Université de Clermont, no. 7, Mathématiques, part 1, Imprimerie Louis-Jean, Gap 1962, pp. 101–105.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 674-675
- Print publication:
- December 1971
-
- Article
- Export citation
Jean Ladrière. La notion de constructivité en métamathématique. Bulletin de la Société Mathématique de Belgique (1956), pp. 82–97.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 4 / February 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 655-656
- Print publication:
- February 1970
-
- Article
- Export citation
Gerold Stahl. Enfoque moderno de la lógica clásica. Contribuciones a la lógica simbólica no. 1. Ediciones de la Universidad de Chile, Santiago de Chile1958, 187 pp. - Gerold Stahl. Introducción a la lógica simbólica. Second Edition. Contribuciones a la lógica simbólica no. 2. Editorial Universitaria, Santiago de Chile1962, 206 pp. - Gerold Stahl. Elementos de la metalógica y metamatemática. Contribuciones a la lógica simbólica no. 3. Editorial Universitaria, Santiago de Chile1964,160 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 4 / February 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 519-521
- Print publication:
- February 1968
-
- Article
- Export citation